Tree model - PDFSEARCH.IO - Document Search Engine

Tree model
Results: 571

#	Item
521	Syst. Biol. 62(3):424–438, 2013 © The Author(s[removed]Published by Oxford University Press, on behalf of the Society of Systematic Biologists. All rights reserved. For Permissions, please email: journals.permissions@o Add to Reading List Source URL: geo.cbs.umn.edu Language: English - Date: 2013-12-18 11:03:27 Genomics Model organisms DNA Molecular biology Phylogenetics Medicago Full genome sequencing Genome Phylogenetic tree Biology Genetics Bioinformatics
522	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
523	JMLR: Workshop and Conference Proceedings vol[removed]–34 Robust Interactive Learning Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2012-05-24 20:13:01 Applied mathematics Computational complexity theory Learning Empirical risk minimization Probably approximately correct learning Decision tree model Active learning Machine learning Theoretical computer science Artificial intelligence
524	SEE COMMENTARY The discovery of structural form Add to Reading List Source URL: www.psy.cmu.edu Language: English - Date: 2008-08-01 07:51:06 Multivariate statistics Graphical model Cluster analysis Supervised learning Tree Phylogenetic tree Synthetic data Graph rewriting Statistics Machine learning Cybernetics
525	Sufficient Completeness Checking with Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki 2,3 , and Jos´e Meseguer1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:14:48 Completeness Symbol Logic Knowledge Statistical theory Metalogic Model theory
526	A PRIMER OF SIMPLE THEORIES ´ IOVINO, AND OLIVIER LESSMANN RAMI GROSSBERG, JOSE Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2002-05-01 18:24:54 Philosophy of mathematics Forking extension Stability spectrum Stable theory Saturated model Spectrum Constructible universe Tree Spectral theory of ordinary differential equations Model theory Logic Mathematics
527	BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Rotem Oshman BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-07-30 05:06:45 Kripke structure Computer science Automata theory Theoretical computer science Tree automaton
528	BMC Bioinformatics BMC 2002,Bioinformatics Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Probability Sequence alignment Structural alignment Nucleic acid sequence Dynamic programming Tree traversal Multiple sequence alignment Hidden Markov model Stochastic context-free grammar Bioinformatics Science Genetics
529	Astrophys.J.Supplement 111, 73, 1997 ADAPTIVE REFINEMENT TREE – A NEW HIGH-RESOLUTION Add to Reading List Source URL: cds.cern.ch Language: English - Date: 2009-07-21 15:19:38 Mathematics Computational fluid dynamics Numerical analysis Adaptive mesh refinement Multigrid method N-body simulation Particle Mesh Grid MEMO Model Computational science Computational physics Physics
530	On Learning Exclusive-Or of Terms Nader H. Bshouty∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-06-13 06:59:50 Analysis of algorithms Time complexity Decision tree model Theoretical computer science Applied mathematics Computational complexity theory

UPDATE